﻿using System;
using System.Collections.Generic;
using System.Diagnostics.Contracts;
using System.Linq;
using System.Text;
using Adalbertus.BudgetPlanner.ViewModels;

namespace Adalbertus.BudgetPlanner.ViewModels.CodeContracts
{
    [ContractClassFor(typeof(IShell))]
    public abstract class IShellContract : IShell
    {
        public void ShowPage(string pageName)
        {
            Contract.Requires(!string.IsNullOrWhiteSpace(pageName));
            throw new NotImplementedException();
        }
    }
}
